The combination of Fuzzy Logics and Description Logics has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp Description Logics have been extended to reason also with their fuzzy counterparts. It has turned out, however, that in the presence of general concept inclusion axioms this extension is less straightforward than thought. In fact, a number of tableau algorithms claimed to deal correctly with fuzzy DLs with (...) GCIs have recently been shown to be incorrect. In this paper, we concentrate on fuzzy \, the fuzzy extension of the well-known DL \. We present a terminating, sound, and complete tableau algorithm for fuzzy \ with arbitrary continuous t-norms. Unfortunately, in the presence of GCIs, this algorithm does not yield a decision procedure for consistency of fuzzy \ ontologies since it uses as a sub-procedure a solvability test for a finitely represented, but possibly infinite, system of inequations over the real interval [0,1], which are built using the t-norm. In general, it is not clear whether this solvability problem is decidable for such infinite systems of inequations. This may depend on the specific t-norm used. In fact, we also show in this paper that consistency of fuzzy \ ontologies with GCIs is undecidable for the product t-norm. This implies, of course, that for the infinite systems of inequations produced by the tableau algorithm for fuzzy \ with product t-norm, solvability is in general undecidable. We also give a brief overview of recently obtained decidability results for fuzzy \ w.r.t. other t-norms. (shrink)

Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...) inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures. (shrink)

The larval arms of echinoid plutei are used for locomotion and feeding. They are composed of internal calcite skeletal rods covered by an ectoderm layer bearing a ciliary band. Skeletogenesis includes an autonomous molecular differentiation program in primary mesenchyme cells (PMCs), initiated when PMCs leave the vegetal plate for the blastocoel, and a patterning of the differentiated skeletal units that requires molecular cues from the overlaying ectoderm. The arms represent a larval feature that arose in the echinoid lineage during the (...) Paleozoic and offers a subject for the study of gene co-option in the evolution of novel larval features. We isolated new molecular markers in two closely related but differently developing species, Heliocidaris tuberculata and Heliocidaris erythrogramma. We report the expression of a larval arm-associated ectoderm gene tetraspanin, as well as two new PMC markers, advillin and carbonic anhydrase. Tetraspanin localizes to the animal half of blastula stage H. tuberculata and then undergoes a restriction into the putative oral ectoderm and future location of the postoral arms, where it continues to be expressed at the leading edge of both the postoral and anterolateral arms. In H. erythrogramma, its expression initiates in the animal half of blastulae and expands over the entire ectoderm from gastrulation onward. Advillin and carbonic anhydrase are upregulated in the PMCs postgastrulation and localized to the leading edge of the growing larval arms of H. tuberculata but do not exhibit coordinated expression in H. erythrogramma larvae. The tight spatiotemporal regulation of these genes in H. tuberculata along with other ontogenetic and phylogenetic evidence suggest that pluteus arms are novel larval organs, distinguishable from the processes of skeletogenesis per se. The dissociation of expression control in H. erythrogramma suggest that coordinate gene expression in H. tuberculata evolved as part of the evolution of pluteus arms, and is not required for larval or adult development. (shrink)

The origin of marine invertebrate larvae has been an area of controversy in developmental evolution for over a century. Here, we address the question of whether a pelagic “larval” or benthic “adult” morphology originated first in metazoan lineages by testing the hypothesis that particular gene co-option patterns will be associated with the origin of feeding, indirect developing larval forms. Empirical evidence bearing on this hypothesis is derivable from gene expression studies of the sea urchin larval gut of two closely related (...) but differently developing congenerics, Heliocidaris tuberculata (feeding indirect-developing larva) and H. erythrogramma (nonfeeding direct developer), given two subsidiary hypotheses. (1) If larval gut gene expression in H. tuberculata was co-opted from an ancestral adult expression pattern, then the gut expression pattern will remain in adult H. erythrogramma despite its direct development. (2) Genes expressed in the larval gut of H. tuberculata will not have a coordinated expression pattern in H. erythrogramma larvae due to loss of a functional gut. Five structural genes expressed in the invaginating archenteron of H. tuberculata during gastrulation exhibit substantially different expression patterns in H. erythrogramma with only one remaining endoderm specific. Expression of these genes in the adult of H. erythrogramma and larval gut of H. tuberculata, but not in H. erythrogramma larval endoderm, supports the hypothesis that they first played roles in the formation of adult structures and were subsequently recruited into larval ontogeny during the origin and evolution of feeding planktotrophic deuterostome larvae. (shrink)

The study of law and politics is one of the foundation stones of the discipline of political science, and it has been one of the productive areas of cross-fertilization between the various subfields of political science and between political science and other cognate disciplines. This Handbook provides a comprehensive survey of the field of law and politics in all its diversity, ranging from such traditional subjects as theories of jurisprudence, constitutionalism, judicial politics and law-and-society to such re-emerging subjects as comparative (...) judicial politics, international law, and democratization. The Oxford Handbook of Law and Politics gathers together leading scholars in the field to assess key literatures shaping the discipline today and to help set the direction of research in the decade ahead. (shrink)

R. A. Sharpe; VIII*—Art and Expertise, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 133–148, https://doi.org/10.1093/aristote.

R. A. Sharpe; VIII*—Art and Expertise, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 133–148, https://doi.org/10.1093/aristote.

This book examines responsibility and luck as these issues arise in tort law, criminal law, and distributive justice. The central question is: whose bad luck is a particular piece of misfortune? Arthur Ripstein argues that there is a general set of principles to be found that clarifies responsibility in those cases where luck is most obviously an issue: accidents, mistakes, emergencies, and failed attempts at crime. In revealing how the problems that arise in tort and criminal law as well as (...) distributive justice invite structurally parallel solutions, the author also shows the deep connection between individual responsibility and social equality. This is a challenging and provocative book that will be of special interest to moral and political philosophers, legal theorists, and political scientists. (shrink)